Type systems

Results: 2329



#Item
221

Contemporary Mathematics Extensions of No-Go Theorems to Many Signal Systems Radu Balan Abstract. In this paper we extend the Balian-Low type theorems to Riesz

Add to Reading List

Source URL: www.math.umd.edu

Language: English - Date: 2001-05-21 18:59:53
    222Type theory / Concurrent programming languages / Type systems / Null / Go / Type inference

    Inference and Checking of Object Ownership Wei Huang1, Werner Dietl2, Ana Milanova1, Michael D. Ernst2 1Rensselaer

    Add to Reading List

    Source URL: homes.cs.washington.edu

    Language: English - Date: 2012-07-02 11:46:59
    223

    POLE EXPANSION FOR SOLVING A TYPE OF PARAMETRIZED LINEAR SYSTEMS IN ELECTRONIC STRUCTURE CALCULATIONS arXiv:1311.2129v3 [math.NA] 30 May 2014

    Add to Reading List

    Source URL: math.stanford.edu

    Language: English - Date: 2014-08-18 19:48:23
      224Type systems / Procedural programming languages / Type theory / Data types / Gradual typing / Boo / Manifest typing / Higher-order function

      The State of the Art in Gradual Typing Jeremy G. Siek Indiana University, Bloomington SICSA Summer School on Practical Types University of St. Andrews

      Add to Reading List

      Source URL: dl.dropboxusercontent.com

      Language: English
      225

      CMSC 336: Type Systems for Programming Languages Lecture 5: Simply Typed Lambda Calculus Acar & Ahmed January 24, 2008

      Add to Reading List

      Source URL: ttic.uchicago.edu

      Language: English - Date: 2008-01-24 13:16:15
        226

        Déjà Q: Using Dual Systems to Revisit q-Type Assumptions Melissa Chase (MSR Redmond) Sarah Meiklejohn (UC San Diego → University College London)

        Add to Reading List

        Source URL: ec14.compute.dtu.dk

        Language: English - Date: 2014-05-19 03:50:36
          227

          Type Systems for Concurrent Programs Naoki Kobayashi Tohoku University Abstract. Type systems for programming languages help reasoning about

          Add to Reading List

          Source URL: www.kb.ecei.tohoku.ac.jp

          Language: English - Date: 2007-11-09 04:15:09
            228

            Absolute Stability Criteria for Nonlinear Ane Systems : A Kalman-Yakubovich-Popov Type Approach RADU BALAN  Program in Applied and Computational Mathematics

            Add to Reading List

            Source URL: www.math.umd.edu

            Language: English - Date: 2001-05-21 19:01:49
              229

              CMSC 336: Type Systems for Programming Languages (WinterHomework 5 Due: Thursday, March 13, 2008 1

              Add to Reading List

              Source URL: ttic.uchicago.edu

              Language: English - Date: 2008-03-12 19:59:12
                230

                OIL I.D.™ Identifies The Type of Refrigeration Oil Used in A/C and Refrigeration Systems Description | Characteristics | Applications | Packaging | Instructions | Precautions | Limited Warranty DESCRIPTION:

                Add to Reading List

                Source URL: www.rectorseal.com

                Language: English - Date: 2013-10-08 16:26:03
                  UPDATE